The notion that there existed a distinction between so-called “Alexandrian” and “Antiochene” exegesis in the ancient church has become a common assumption among theologians. The typical belief is that Alexandria promoted an allegorical reading of Scripture, whereas Antioch endorsed a literal approach. However, church historians have long since recognized that this distinction is neither wholly accurate nor helpful to understanding ancient Christian hermeneutics. Indeed, neither school of interpretation sanctioned the practice of just one exegetical method. Rather, both Alexandrian and Antiochene (...) theologians were expedient hermeneuts, meaning they utilized whichever exegetical practice (allegory, typology, literal, historical) that would supply them with their desired theology or interpretive conclusion. The difference between Alexandria and Antioch was not exegetical; it was theological. In other words, it was their respective theological paradigms that dictated their exegetical practices, allowing them to utilize whichever hermeneutical method was most expedient for their theological purposes. Ultimately, neither Alexandrian nor Antiochene exegetes possessed a greater respect for the biblical text over the other, nor did they adhere to modern-day historical-grammatical hermeneutics as theologians would like to believe. (shrink)

Since the publication of Kenneth Howard’s 2017 article, “The Religion Singularity: A Demographic Crisis Destabilizing and Transforming Institutional Christianity,” there has been an increasing demand to understand the root causes and historical foundations for why institutional Christianity is in a state of de-institutionalization. In response to Howard’s research, a number of authors have sought to provide a contextual explanation for why the religion singularity is currently happening, including studies in epistemology, church history, psychology, anthropology, and church ministry. The purpose of (...) this article is to offer a brief survey and response to these interactions with Howard’s research, identifying the overall implications of each researcher’s perspective for understanding the religion singularity phenomenon. It explores factors relating to denominational switching in Jeshua Branch’s research, social memory in John Lingelbach’s essay, religious politics in Kevin Seybold’s survey, scientific reductionism in Jack David Eller’s position paper, and institutional moral failure in Brian McLaren’s article. (shrink)

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

The current COVID-19 pandemic and the previous SARS/MERS outbreaks of 2003 and 2012 have resulted in a series of major global public health crises. We argue that in the interest of developing effective and safe vaccines and drugs and to better understand coronaviruses and associated disease mechenisms it is necessary to integrate the large and exponentially growing body of heterogeneous coronavirus data. Ontologies play an important role in standard-based knowledge and data representation, integration, sharing, and analysis. Accordingly, we initiated the (...) development of the community-based Coronavirus Infectious Disease Ontology in early 2020. -/- As an Open Biomedical Ontology (OBO) library ontology, CIDO is open source and interoperable with other existing OBO ontologies. CIDO is aligned with the Basic Formal Ontology and Viral Infectious Disease Ontology. CIDO has imported terms from over 30 OBO ontologies. For example, CIDO imports all SARS-CoV-2 protein terms from the Protein Ontology, COVID-19-related phenotype terms from the Human Phenotype Ontology, and over 100 COVID-19 terms for vaccines (both authorized and in clinical trial) from the Vaccine Ontology. CIDO systematically represents variants of SARS-CoV-2 viruses and over 300 amino acid substitutions therein, along with over 300 diagnostic kits and methods. CIDO also describes hundreds of host-coronavirus protein-protein interactions (PPIs) and the drugs that target proteins in these PPIs. CIDO has been used to model COVID-19 related phenomena in areas such as epidemiology. The scope of CIDO was evaluated by visual analysis supported by a summarization network method. CIDO has been used in various applications such as term standardization, inference, natural language processing (NLP) and clinical data integration. We have applied the amino acid variant knowledge present in CIDO to analyze differences between SARS-CoV-2 Delta and Omicron variants. CIDO's integrative host-coronavirus PPIs and drug-target knowledge has also been used to support drug repurposing for COVID-19 treatment. -/- CIDO represents entities and relations in the domain of coronavirus diseases with a special focus on COVID-19. It supports shared knowledge representation, data and metadata standardization and integration, and has been used in a range of applications. (shrink)

How should our beliefs change over time? Much has been written about how our beliefs should change in the light of new evidence. But that is not the question I’m asking. Sometimes our beliefs change without new evidence. I previously believed it was Sunday. I now believe it’s Monday. In this paper I discuss the implications of such beliefs for philosophy of language. I will argue that we need to allow for ‘dynamic’ beliefs, that we need new norms of belief (...) change to model how they function, and that this gives Perry’s (1977) two tier account the advantage over Lewis’s (1979) theory -/- . (shrink)

If an agent believes that the probability of E being true is 1/2, should she accept a bet on E at even odds or better? Yes, but only given certain conditions. This paper is about what those conditions are. In particular, we think that there is a condition that has been overlooked so far in the literature. We discovered it in response to a paper by Hitchcock (2004) in which he argues for the 1/3 answer to the Sleeping Beauty problem. (...) Hitchcock argues that this credence follows from calculating her fair betting odds, plus the assumption that Sleeping Beauty’s credences should track her fair betting odds. We will show that this last assumption is false. Sleeping Beauty’s credences should not follow her fair betting odds due to a peculiar feature of her epistemic situation. (shrink)

The aim of this paper is to evaluate the critical success factors and investigate the benefits that might be gained once implementing Electronic Customer Relationship Management at HEI from employee perspective. The study conducted at Al Quds Open University in Palestine and data collected from (300) employee through a questionnaire which consist of four variables. A number of statistical tools were intended for hypotheses testing and data analysis, including Spearman correlation coefficient for Validity, reliability correlation using Cronbach’s alpha, and Frequency (...) and Descriptive analysis. The overall findings of the current study show that all the features were important for staff and it was critical success factors, at the same time, websites were providing all the features discussed by the theory whereas staff showed their willingness to use those features if provided. It is also discovered that implementing Electronic Customer Relationship Management can cause staff retention, were provided efficiently and needed to be improved. Research limitations: The survey findings were based on QOU employee in Palestine, UAE and KSA branches not included in the study. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Decision theory is concerned with how agents should act when the consequences of their actions are uncertain. The central principle of contemporary decision theory is that the rational choice is the choice that maximizes subjective expected utility. This entry explains what this means, and discusses the philosophical motivations and consequences of the theory. The entry will consider some of the main problems and paradoxes that decision theory faces, and some of responses that can be given. Finally the entry will briefly (...) consider how decision theory applies to choices involving more than one agent. (shrink)

Two attitudes are possible: one, that the world is an absolute jungle and that the exercise of coercive power by rulers is only a manifestation of this; and the other, that it is both necessary and right that there should be this exercise of power, that through it the world is much less of a jungle than it could possibly be without it, so that one should in principle be glad of the existence of such power, and only take exception (...) to its unjust exercise. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

Many say that ontological disputes are defective because they are unimportant or without substance. In this paper, we defend ontological disputes from the charge, with a special focus on disputes over the existence of composite objects. Disputes over the existence of composite objects, we argue, have a number of substantive implications across a variety of topics in metaphysics, science, philosophical theology, philosophy of mind, and ethics. Since the disputes over the existence of composite objects have these substantive implications, they are (...) themselves substantive. (shrink)

The fine-tuning argument can be used to support the Many Universe hypothesis. The Inverse Gambler’s Fallacy objection seeks to undercut the support for the Many Universe hypothesis. The objection is that although the evidence that there is life somewhere confirms Many Universes, the specific evidence that there is life in this universe does not. I will argue that the Inverse Gambler’s Fallacy is not committed by the fine-tuning argument. The key issue is the procedure by which the universe with life (...) is selected for observation. Once we take account of the procedure, we find that the support for the Many Universe hypothesis remains. (shrink)

Construing the instantiation of a universal by a particular in terms of my theory of aspects resolves the basic mystery of this "non-relational tie", and gives theoretical unity to the four characteristics of instantiation discerned by Armstrong. Taking aspects as distinct in a way akin to Scotus's formal distinction, I suggest that instantiation is the sharing of an aspect by a universal and a particular--a kind of partial identity. This approach allows me to address Plato's multiple location and One over (...) Many problems, Bradley's problem concerning the instantiation of relations, and the problem of change. (shrink)

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

Papaya is a tropical fruit with a green cover, yellow pulp, and a taste between mango and cantaloupe, having commercial importance because of its high nutritive and medicinal value. The process of sorting papaya fruit based on maturely is one of the processes that greatly determine the mature of papaya fruit that will be sold to consumers. The manual grading of papaya fruit based on human visual perception is time-consuming and destructive. The objective of this paper is to the status (...) classification of papaya fruits if it's mature or partially matured or unmatured. A deep learning technique that was extensively applied to image recognition was used. The trained model achieved an accuracy of 100% on a held-out test set, demonstrating the feasibility of this approach. Classification model of VGG16 achieved a 100% accuracy and 112 seconds of training time. (shrink)

In Bradley, I offered an analysis of Sleeping Beauty and the Everettian interpretation of quantum mechanics. I argued that one can avoid a kind of easy confirmation of EQM by paying attention to observation selection effects, that halfers are right about Sleeping Beauty, and that thirders cannot avoid easy confirmation for the truth of EQM. Wilson agrees with my analysis of observation selection effects in EQM, but goes on to, first, defend Elga’s thirder argument on Sleeping Beauty and, second, argue (...) that the analogy I draw between Sleeping Beauty and EQM fails. I will argue that neither point succeeds. 1 Introduction2 Background3 Wilson’s Argument for ⅓ in Sleeping Beauty4 Reply: Explaining Away the Crazy5 Wilson's Argument for the Breakdown of the Analogy6 Reply: The Irrelevance of Chance7 Conclusion. (shrink)

An important line of response to scepticism appeals to the best explanation. But anti-sceptics have not engaged much with work on explanation in the philosophy of science. I plan to investigate whether plausible assumptions about best explanations really do favour anti-scepticism. I will argue that there are ways of constructing sceptical hypotheses in which the assumptions do favour anti-scepticism, but the size of the support for anti-scepticism is small.

Is capitalism inherently predatory? Must there be winners and losers? Is public interest outdated and free-riding rational? Is consumer choice the same as self-determination? Must bargainers abandon the no-harm principle? Prisoners of Reason recalls that classical liberal capitalism exalted the no-harm principle. Although imperfect and exclusionary, modern liberalism recognized individual human dignity alongside individuals' responsibility to respect others. Neoliberalism, by contrast, views life as ceaseless struggle. Agents vie for scarce resources in antagonistic competition in which every individual seeks dominance. This (...) political theory is codified in non-cooperative game theory; the neoliberal citizen and consumer is the strategic rational actor. Rational choice justifies ends irrespective of means. Money becomes the medium of all value. Solidarity and good will are invalidated. Relationships are conducted on a quid pro quo basis. However, agents can freely opt out of this cynical race to the bottom by embracing a more expansive range of coherent action. (shrink)

How is it possible for David Hume to be both withering skeptic and constructive theorist? I recommend an answer like the Pyrrhonian answer to the question how it is possible to suspend all judgment yet engage in active daily life. Sextus Empiricus distinguishes two kinds of assent: one suspended across the board and one involved with daily living. The first is an act of will based on appreciation of reasons; the second is a causal effect of appearances. Hume makes the (...) same distinction, only he extends the sort of assent involved in daily life to theoretical matters as well. He is a skeptic both in finding no reason to grant the first sort of assent and in being subject to the second. (shrink)

I argue via examples that there are cases in which things that are not two distinct things qualitatively differ without contradiction. In other words, there are cases in which something differs from itself. Standard responses to such cases are to divide the thing into distinct parts, or to conceive of the thing under different descriptions, or to appeal to different times, or to deny that the property had is the property lacked. I show these responses to be unsatisfactory. I then (...) gather and systematize available ways of talking about such cases with phrases like ‘insofar as’, ‘qua’, ‘to the extent that’, ‘in some respect’, etc., while paying special attention to the scope of ‘not’ when used with these phrases. This allows me to show how we can speak of self-differing without contradiction. (shrink)

The Protein Ontology (PRO) provides a formal, logically-based classification of specific protein classes including structured representations of protein isoforms, variants and modified forms. Initially focused on proteins found in human, mouse and Escherichia coli, PRO now includes representations of protein complexes. The PRO Consortium works in concert with the developers of other biomedical ontologies and protein knowledge bases to provide the ability to formally organize and integrate representations of precise protein forms so as to enhance accessibility to results of protein (...) research. PRO (http://pir.georgetown.edu/pro) is part of the Open Biomedical Ontologies (OBO) Foundry. (shrink)

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

ABSTRACT According to David Lewis, alteration is "qualitative difference between temporal parts of something." It follows that moments, since they are simple and lack temporal parts, cannot alter from future to present to past. Here then is another way to put McTaggart's paradox about change in tense. I will appeal to my theory of Aspects to rebut the thought behind this rendition of McTaggart. On my theory, it is possible that qualitatively differing things be numerically identical. I call these differing, (...) numerically identical things "aspects." I will argue that alteration can be a qualitative difference between temporal aspects of something that lacks temporal parts. So a moment can alter in tense. By rejecting Lewis's assumption my theory can solve this version of McTaggart's paradox. (shrink)

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

Confucius gave counsel that is notoriously hard to follow: "What you do not wish for yourself, do not impose on others" (Huang 1997: 15.24). People tend to be concerned with themselves and to be indifferent to most others. We are distinct from others so our self-concern does not include them, or so it seems. Were we to realize this distinctness is merely apparent--that our true self includes others--Confucius's counsel would be easier to follow. Concern for our true self would extend (...) concern beyond the narrow selves we appear to be. The neo-Confucians held just such a view. They espoused an identity with the universe and everything in it, arguing that this identity explains a natural concern for everyone and everything, not just for our narrow selves. However, many things in the universe differ from each other, that is, some have qualities others lack. If they are all one and the same thing then that one thing differs from itself. I will suggest that the objection can be answered with some metaphysical innovation. I will address the objection by sketching a theory--call it the theory of aspects--that explains how numerically identical things can differ qualitatively. (shrink)

In this article, we describe what cryptocurrency is, how it works, and how it relates to familiar conceptions of and questions about money. We then show how normative questions about monetary policy find new expression in Bitcoin and other cryptocurrencies. These questions can play a role in addressing not just what money is, but what it should be. A guiding theme in our discussion is that progress here requires a mixed approach that integrates philosophical tools with the purely technical results (...) of disciplines like computer science and economics. Note: this article is the first entry within a two-part sequence on the Philosophy, Politics, and Economics of Cryptocurrency. (shrink)

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

Philosophers of action of different persuasions have suggested that there is a tight connection between the phenomenon of intending and the phenomena of “being settled on” and of “settling” a course of action. For many, this connection supports an important constraint on intention: one may only intend what one takes one’s so intending as settling. Traditionally, this has been understood as a doxastic constraint on intention: what one takes one’s intention as settling is what one believes one’s so intending as (...) settling. This paper proposes an alternative conception of such a constraint. The idea is to conceive of it in terms of the attitude of reliance, rather than of belief. The aim of the paper is three-fold: to clarify the connection between intending to act and the phenomena of being settled on and of settling a course of action, to provide support for the reliance conception of the cited constraint, and to show that this conception drives a wedge in the familiar dispute, between doxastic and conative accounts of intention, as to whether intending to act necessarily involves the belief that one will so act. (shrink)

It is widely believed that deflationary truth has no explanatory power. I will argue that it does. Specifically, I will consider some objections to deflationary truth having explanatory power, and argue that they fail. The position which will emerge is that the deflationary concept of truth is analogous to the concept of an average. Scientists take averages to be explanatory, and I will argue that the concept of deflationary truth is explanatory in the same way. I then argue that this (...) deflationary _concept_ of truth motivates a theory of the _property_ of truth which is metaphysically disunified, but that this is no obstacle to explanation. This leads to a way of understanding the deflationary/substantive distinction in terms of grounding. (shrink)

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

Hume discusses the distinction of reason to explain how we distinguish things inseparable, and so identical, e.g., the color and figure of a white globe. He says we note the respect in which the globe is similar to a white cube and dissimilar to a black sphere, and the respect in which it is dissimilar to the first and similar to the second. Unfortunately, Hume takes these differing respects of resemblance to be identical with the white globe itself. Contradiction results, (...) undermining his theory of abstraction. The way out is apparently to admit an intrinsic complexity in even simple things. (shrink)

Biomedical ontologies are emerging as critical tools in genomic and proteomic research where complex data in disparate resources need to be integrated. A number of ontologies exist that describe the properties that can be attributed to proteins; for example, protein functions are described by Gene Ontology, while human diseases are described by Disease Ontology. There is, however, a gap in the current set of ontologies—one that describes the protein entities themselves and their relationships. We have designed a PRotein Ontology (PRO) (...) to facilitate protein annotation and to guide new experiments. The components of PRO extend from the classification of proteins on the basis of evolutionary relationships to the representation of the multiple protein forms of a gene (products generated by genetic variation, alternative splicing, proteolytic cleavage, and other post-translational modification). PRO will allow the specification of relationships between PRO, GO and other OBO Foundry ontologies. Here we describe the initial development of PRO, illustrated using human proteins from the TGF-beta signaling pathway. (shrink)

Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...) deductive programming. (shrink)

Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...) and reported findings. (shrink)

We often appeal to the notion of an agent’s commitment to action to characterize, e.g., an agent’s faithfulness to a promise she has given to another, her robust disposition to pursue a goal she values or cares about, and her determination to stick to that goal. In the philosophy of action, that notion is often associated with the idea of an agent’s intention to act. In ethics, it is associated primarily with the idea of an agent’s commitment to, or endorsement (...) of, a certain norm. This essay argues that both these ideas, of intention and of normative endorsement, are central to the –or, at least, an—ordinary notion of an agent’s (psychological) commitment to action. In so doing, the essay also sheds light on important features of intention. -/- Keywords: commitment – intention – normative endorsement – stability across contexts – coordination. (shrink)

This paper explores how the Leviathan that projects power through nuclear arms exercises a unique nuclearized sovereignty. In the case of nuclear superpowers, this sovereignty extends to wielding the power to destroy human civilization as we know it across the globe. Nuclearized sovereignty depends on a hybrid form of power encompassing human decision-makers in a hierarchical chain of command, and all of the technical and computerized functions necessary to maintain command and control at every moment of the sovereign's existence: this (...) sovereign power cannot sleep. This article analyzes how the form of rationality that informs this hybrid exercise of power historically developed to be computable. By definition, computable rationality must be able to function without any intelligible grasp of the context or the comprehensive significance of decision-making outcomes. Thus, maintaining nuclearized sovereignty necessarily must be able to execute momentous life and death decisions without the type of sentience we usually associate with ethical individual and collective decisions. (shrink)

Ordinary usage gives a way to think of identity through time: the Pittsburgh of 1946 was the same city as the Pittsburgh of today is--namely Pittsburgh. Problem: The Pittsburgh of 1946 does not exist; Pittsburgh still does. How can they have been identical? I reject the temporal parts view on which they were not but we may speak as though they were. Rather I argue that claiming their identity is not contradictory. I interpret ‘the Pittsburgh of 1946’ as ‘Pittsburgh as (...) it was in 1946’ and suggest that the apparent contradiction results from an ambiguity in the scope of ‘as’. (shrink)

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

To the question whether Hume believed in mind-independent physical objects (or as he would put it, bodies), the answer is Yes and No. It is Yes when Hume writes “We may well ask, What causes induce us to believe in the existence of body? but ’tis in vain to ask, Whether there be body or not? That is a point, which we must take for granted in all our reasonings.” However the answer is No after inquiring into the causes of (...) that belief, when he writes, “What then can we look for from this confusion of groundless and extraordinary opinions but error and falsehood? And how can we justify to ourselves any belief we repose in them?” My view is that Hume’s Yes and No answers can best be accounted for by seeing him as a Pyrrhonian skeptic in the tradition of Sextus Empiricus. This interpretation, while finding considerable truth in the various positions canvassed, is closest to those of Norton, Fogelin, and especially Popkin. (shrink)

This is a survey article on reductive views of shared intention.

One of the advantages of my account in the essay “Instantiation as Partial Identity” was capturing the contingency of instantiation—something David Armstrong gave up in his experiment with a similar view. What made the contingency possible for me was my own non-standard account of identity, complete with the apparatus of counts and aspects. The need remains to lift some obscurity from the account in order to display its virtues to greater advantage. To that end, I propose to respond to those (...) who have grappled with it in print. There are various criticisms by commentators: that it is rendered absurd by the transitivity of identity, that it makes instantiation necessary instead of contingent, that it is unclear what counts are, that aspects are simply tropes, that my view does not capture multiple location, that I make an unclear reference to a theory of composition as identity, that the account suffers from problems with polyadicity, and that it is not a realist account of universals after all. I give responses to these objections. (shrink)

Colin Howson (1995 ) offers a counter-example to the rule of conditionalization. I will argue that the counter-example doesn't hit its target. The problem is that Howson mis-describes the total evidence the agent has. In particular, Howson overlooks how the restriction that the agent learn 'E and nothing else' interacts with the de se evidence 'I have learnt E'.

Perhaps the greatest impediment to a viable libertarianism is the provision of a satisfactory explanation of how actions that are undetermined by an agent's character can still be under the control of, or ‘up to’, the agent. The ‘luck problem’ has been most assiduously examined by Robert Kane who supplies a detailed account of how this problem can be resolved. Although Kane's theory is innovative, insightful, and more resourceful than most of his critics believe, it ultimately cannot account for the (...) type of control that moral responsibility and (ultimate) agency legitimately require. (shrink)

Hume's Treatise arguments concerning space, time, and geometry, especially ones involving his denial of infinite divisibility; have suffered harsh criticism. I show that in the section "Of the ideas of space and time," Hume gives important characterizations of his skeptical approach, in some respects Pyrrhonian, that will be developed in the rest of the Treatise. When that approach is better understood, the force of Hume's arguments can be appreciated, and the influential criticisms of them can be seen to miss the (...) mark. (shrink)

It is often assumed that adaptation — a temporary change in sensitivity to a perceptual dimension following exposure to that dimension — is a litmus test for what is and is not a “primary visual attribute”. Thus, papers purporting to find evidence of number adaptation motivate a claim of great philosophical significance: That number is something that can be seen in much the way that canonical visual features, like color, contrast, size, and speed, can. Fifteen years after its reported discovery, (...) number adaptation’s existence seems to be nearly undisputed, with dozens of papers documenting support for the phenomenon. The aim of this paper is to offer a counterweight — to critically assess the evidence for and against number adaptation. After surveying the many reasons for thinking that number adaptation exists, we introduce several lesser-known reasons to be skeptical. We then advance an alternative account — the old news hypothesis — which can accommodate previously published findings while explaining various (otherwise unexplained) anomalies in the existing literature. Next, we describe the results of eight pre-registered experiments which pit our novel old news hypothesis against the received number adaptation hypothesis. Collectively, the results of these experiments undermine the number adaptation hypothesis on several fronts, whilst consistently supporting the old news hypothesis. More broadly our work raises questions about the status of adaptation itself as a means of discerning what is and is not a visual attribute. (shrink)

Doxasticism is the thesis that intention is or involves belief in the forthcoming action (Velleman, Harman). Supporters claim that it is only by accepting that thesis that we can explain a wide array of important phenomena, including the special knowledge we have of intentional action, the roles intention plays in facilitating coordination, and the norms of rationality for intention. Others argue that the thesis is subject to counterexample (Davidson, Bratman). Yet some others contend that the thesis can be reformulated in (...) a way that avoids such counterexamples and preserves its explanatory significance (Pears, Setiya). Their suggestion is that we view intention as involving partial –rather than full—belief. I argue that while the move from full to partial doxasticism helps to accommodate such counterexamples, it does so in a way that undermines the ability of the resulting view to explain the coordinating roles of and rationality norms for intention. (shrink)

Abstract: Context: grapevine leaves are an important agricultural product that is used in many Middle Eastern dishes. The species from which the grapevine leaf originates can differ in terms of both taste and price. Method: In this study, we build a deep learning model to tackle the problem of grape leaf classification. 500 images were used (100 for each species) that were then increased to 10,000 using data augmentation methods. Convolutional Neural Network (CNN) algorithms were applied to build this model (...) specifically using the pre-trained model on top of the VGG16 architecture. Then, dense layers were added to classify the output of the Convolutional layers and classify outputs to the five classes (species) the leaf belonged to. Results: It was found that feature extraction without fine-tuning the convolutional layers yielded poor results, about 86% accuracy, while training the whole network along with some data preprocessing gave the best results, about 99.45% accuracy on the testing dataset. Conclusions: The proposed CNN model is an effective one for the problem of classification of grape leaf species. (shrink)